Primitive element theorem